package dbc;

/**
* PreCondition contract violation
*/
public class PreConditionException extends ContractException {

    public PreConditionException() {
        super();
    }

    public PreConditionException(String msg) {
        super(msg);
    }
}
